منابع مشابه
a study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولsolution of security constrained unit commitment problem by a new multi-objective optimization method
چکیده-پخش بار بهینه به عنوان یکی از ابزار زیر بنایی برای تحلیل سیستم های قدرت پیچیده ،برای مدت طولانی مورد بررسی قرار گرفته است.پخش بار بهینه توابع هدف یک سیستم قدرت از جمله تابع هزینه سوخت ،آلودگی ،تلفات را بهینه می کند،و هم زمان قیود سیستم قدرت را نیز برآورده می کند.در کلی ترین حالتopf یک مساله بهینه سازی غیر خطی ،غیر محدب،مقیاس بزرگ،و ایستا می باشد که می تواند شامل متغیرهای کنترلی پیوسته و گ...
The Oyster-Clam System
O Y S T ER Hor88] is an interactive proof editor closely based on the Cornell NuPRL system, but implemented in Prolog. The object-level logic is a version of Martin-LL of type theory (a higher order constructive logic including induction) in a sequent-calculus formulation. Proofs are constructed in a top-down fashion by application of the rules of inference. Notational deenitions and libraries ...
متن کاملThe Changing Face of Oyster Culture in New South Wales, Australia
Oyster farming is one of the oldest aquaculture industries in Australia and, in New SouthWales (NSW), its history dates back some 130 y. Like other industries, it has evolved over time, but during the past 5 y, a number of significant changes have occurred. Although Sydney rock oysters (Saccostrea glomerata [SRO]) remain the most important commercial species, the culture of Pacific oysters (Cra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1885
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.ns-6.147.465-a